Bridging the Gap between High-Level Reasoning and Low-Level Control
نویسندگان
چکیده
We present a formal framework where a nonmonotonic formalism (the action description language C+) is used to provide robots with high-level reasoning, such as planning, in the style of cognitive robotics. In particular, we introduce a novel method that bridges the high-level discrete action planning and the lowlevel continuous behavior by trajectory planning. We show the applicability of this framework on two LEGO MINDSTORMS NXT robots, in an action domain that involves concurrent execution of actions that cannot be serialized.
منابع مشابه
Bridging the Gap: Automatic Verified Abstraction of C
Before low-level imperative code can be reasoned about in an interactive theorem prover, it must first be converted into a logical representation in that theorem prover. Accurate translations of such code should be conservative, choosing safe representations over representations convenient to reason about. This paper bridges the gap between conservative representation and convenient reasoning. ...
متن کاملCauses of the Gap between Junior High School Intended, Implemented, and Attained Curricula and Ways of Bridging It
Causes of the Gap between Junior High School Intended, Implemented, and Attained Curricula and Ways of Bridging It M.A. Jamaalifar* S. Sh. HaashemiMoghadam, Ph.D.** Z. Aabedi Karajibaan, Ph.D.*** A.R. Faghihi, Ph.D.**** To identify the causes of the perceived gap between junior high school intended, implemented, and attained curricula, a group of 30 curriculum planners, 50 educationa...
متن کاملConstraint-based Action Specification for bridging the gap between Symbolic and Control-theoretic Action Execution
In this paper we propose a bridge between a symbolic reasoning system and a task function based controller. We suggest to use modular positionand force constraints, which are represented as action-object-object triples on the symbolic side and as task function parameters on the controller side. This description is a considerably more fine-grained interface than what has been seen in high-level ...
متن کاملReasoning about Space and Images
Much work in computer vision in the 70’s and 80’s aimed at the development of high-level vision, whereby the numerical processes feed a symbolic level of knowledge with which an agent is capable of interpreting the world. These early attempts were frustrated by the non-existence at the time of efficient algorithms for dealing with uncertainty, of tractable knowledge representation formalisms an...
متن کاملA Situated Reasoning Architecture for Space-based Repair and Replace Tasks*
An area of increasing interest within AI and Robotics is the integration of techniques from both fields to the problem of controlling autonomous systems. Space-based systems, such as NASA’s EVA Retriever, provide complex, realistic domains for this integration research. Space is a dynamic environment, where information is imperfect, and unexpected events are commonplace. As such, space-based ro...
متن کامل